import Date

d1, d2, d3 :: Date
d1 = Empty
d2 = Date 1 2 2010
d3 = Date 3 4 2010

i1 = getYear d1
-- i1 = 0

i2 = getYear d2
-- i2 = 2010

i3 = getMonth d2
-- i3 = 2

i4 = getDay d3
-- i4 = 3

d11 = constructFromString "01 01 2010"
-- Just d11
d12 = constructFromString "00 01 2010"
-- Nothing
d13 = constructFromString "10 13 2010"
-- Nothing
d14 = constructFromString "12 12 1999"
-- Nothing

b1 = (Date 1 2 2010) < (Date 1 2 2015)
-- True
b2 = (Date 1 2 2010) >= (Date 1 2 2015)
-- False
b3 = (Date 1 12 2010) >= (Date 1 2 2010)
-- True
b4 = (Date 11 2 2010) >= (Date 1 2 2010)
-- True
b5 = (Date 10 2 2010) >= (Date 11 2 2010)
-- False
b6 = (Date 11 2 2010) < (Date 10 2 2010)
-- False